No Hurry to Recycle

International Enemy No. 1: Hurry

Coq in a Hurry

These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much more comprehensive study is provided in [1], which also provides an extensive collection of exerc...

How to recycle your facets

We show how to transform any inequality defining a facet of some 0/1-polytope into an inequality defining a facet of the acyclic subgraph polytope. While this facet-recycling procedure can potentially be used to construct ‘nasty’ facets, it can also be used to better understand and extend the polyhedral theory of the acyclic subgraph and linear ordering problems.

To Recycle or Not to Recycle? An Intergenerational Approach to Nuclear Fuel Cycles

This paper approaches the choice between the open and closed nuclear fuel cycles as a matter of intergenerational justice, by revealing the value conflicts in the production of nuclear energy. The closed fuel cycle improve sustainability in terms of the supply certainty of uranium and involves less long-term radiological risks and proliferation concerns. However, it compromises short-term publi...

How to Recycle Random Bits

We show that modified versions of the linear congruential generator and the shift register generator are provably good for amplifying the correctness of a probabilistic algorithm. More precisely, if r random bits are needed for a BPP algorithm to be correct with probability at least 2/3, then O(r + k) bits are needed to improve this probability to 1 − 2−k. We also present a different pseudo-ran...